A most artistic package of a jumble of ideas
نویسنده
چکیده
In the course of ten short sections, we comment on Gödel’s seminal “Dialectica” paper of fifty years ago and its aftermath. We start by suggesting that Gödel’s use of functionals of finite type is yet another instance of the realistic attitude of Gödel towards mathematics and in tune with his defense of the postulation of ever increasing higher types in foundational studies. We also make some observations concerning Gödel’s recasting of intuitionistic arithmetic via the “Dialectica” interpretation, discuss the extra principles that the interpretation validates, and comment on extensionality and higher order equality. The latter sections focus on the role of majorizability considerations within the “Dialectica” and related interpretations for extracting computational information from ordinary proofs
منابع مشابه
Artistic Imagery in Fadak Sermon
Today, imagery has a special place in the analysis and criticism of literary texts. This artistic tool which is one of the most important forms of expression in theology transmits ideas intuitively using fantasy and the figurative applications of the language. This transmission makes the meaning more tangible and helps to consolidate it in the audience's mind. In the present study, using the de...
متن کاملA Study on the Motifs and Forms of Bands and Center Stones in the Contemporary Ring Making of Mashhad, Iran
Jewelry comes in a wide variety of shapes and sizes. The purpose of using jewelry, decoration and the beauty of appearance or beliefs enumerate. Men’s rings in Iran are among the ornaments that, in addition to beauty, convey a kind of thought and character. Ring making is one of the original Iranian arts with a long history and varied uses. Ring is sometimes a stamp, a commandment message or on...
متن کاملIntegrated, Unified Imagery in the Seventh Prayer of “Sahifah Sajjadiyyah”
Imagery used in various texts is a rhetorical and artistic way of communicating ideas. Creation of works of art is one of the most effective ways of conveying ideas. The use of different types of rhetorical techniques, as well as the use of words and the way they are combined and arranged, is one of the important imagery techniques. In addition to the holy Quran, the use of imagery language is ...
متن کاملThe Impact of Digital Implements and Techniques on Iran Contemporary Carpet Industry
The advent of digital implements and techniques in the modern world, has changed the quality of the human life and also has influenced the traditional art of the nations. The traditional design as the most important step which the artistic creation take place in, has been affected by these evolutions and specially the arts like carpet are being influenced the most. Due to the two decades passin...
متن کاملRecognition of Cognition Issue in Islamic Architecture Creation
Recognizing the link between “Cognition" and "Architectural Creation” indicates that there is a relation between subject and object. Correct understanding of this relationship helps artistic creativity, especially in the architecture, to take steps towards proving truth that have caused works to be continued over the past times. Knowledge and cognitions in architecture are categories that today...
متن کامل